range: deprecate arrow-scaling style property

This can be done with CSS now.

diff --git a/gtk/gtkrange.c b/gtk/gtkrange.c
index 5e8a3202308970749e84d105dd129ee6c714e753..bfef475b9a464df19623104be87229d5c1c9fa56 100644 (file)
--- a/gtk/gtkrange.c
+++ b/gtk/gtkrange.c
@@ -625,13 +625,16 @@ gtk_range_class_init (GtkRangeClass *class)
    * The arrow size proportion relative to the scroll button size.
    *
    * Since: 2.14
+   *
+   * Deprecated: 3.20: Use min-width/min-height on the "button" node instead.
+   *   The value of this style property is ignored.
    */
   gtk_widget_class_install_style_property (widget_class,
                                            g_param_spec_float ("arrow-scaling",
                                                               P_("Arrow scaling"),
                                                               P_("Arrow scaling with regard to scroll button size"),
                                                               0.0, 1.0, 0.5,
-                                                              GTK_PARAM_READABLE));
+                                                              GTK_PARAM_READABLE|G_PARAM_DEPRECATED));
 
   gtk_widget_class_set_accessible_type (widget_class, GTK_TYPE_RANGE_ACCESSIBLE);
 }